// © 2020, ETH Zurich
//
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.

use crate::encoder::errors::EncodingError;
use prusti_interface::environment::borrowck::regions::PlaceRegionsError;

impl From<PlaceRegionsError> for EncodingError {
    fn from(err: PlaceRegionsError) -> Self {
        match err {
            PlaceRegionsError::Unsupported(msg) => EncodingError::unsupported(msg),
        }
    }
}
